Modelling and Reasoning about Remediation Actions in BDI Agents

نویسندگان

  • João Guilherme Faccin
  • Ingrid Nunes
چکیده

Remediation actions are performed in scenarios in which consequences of a problem should be promptly mitigated when its cause takes too long to be addressed or is unknown. Existing approaches that address these scenarios are application-specific. Nevertheless, the reasoning about remediation actions as well as cause identification and resolution, in order to address problems permanently, can be abstracted in such a way that they can be incorporated to agents. In this paper, we present a domain-independent approach that extends the belief-desire-intention (BDI) architecture, providing means of modelling and reasoning over causal relationships and remediation actions.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Towards a Framework for Reasoning About Emotional BDI Agents

The BDI model of agency is a well studied concept in Formal Logic for Rational Agents, mainly through the BDICTL [7] and KARO [7] logical frameworks. The former is based on the Branching Time Logic CTL [3], whereas the latter in based on Dynamic Logic [4]. Both have advantages and disadvantages, but the union of some properties of both frameworks provide, in our opinion, all the formal tools th...

متن کامل

An Expectation Framework for Agent Social Reasoning

In multi-agent systems it is necessary for agents to reason not only about their actions, but also about their interactions with others. I hypothesise that there are benefits to separating social from practical reasoning systems such as BDI, and propose a possible solution.

متن کامل

Managing Different Sources of Uncertainty in a BDI Framework in a Principled Way with Tractable Fragments

The Belief-Desire-Intention (BDI) architecture is a practical approach for modelling large-scale intelligent systems. In the BDI setting, a complex system is represented as a network of interacting agents – or components – each one modelled based on its beliefs, desires and intentions. However, current BDI implementations are not well-suited for modelling more realistic intelligent systems whic...

متن کامل

Reasoning about Goals in BDI Agents: the PRACTIONIST Framework

The representation of goals and the ability to reason about them play an important role in goal-oriented requirements analysis and modelling techniques, especially in agent-oriented software engineering. Moreover goals are more useful and stable abstractions than others (e.g. user stories) in the analysis and design of software applications. Thus, the PRACTIONIST framework supports a goal-orien...

متن کامل

g-BDI: A Graded Intensional Agent Model for Practical Reasoning

In intentional agents, actions are derived from the mental attitudes and their relationships. In particular, preferences (positive desires) and restrictions (negative desires) are important proactive attitudes which guide agents to intentions and eventually to actions. In this paper we overview recent developments about a multi-context based agent architecture g-BDI to represent and reasoning a...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2017